601. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb
602. Visual information and information systems :
Author: Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Informatiesystemen.,Information display systems -- Congresses.,Information display systems.
603. WALCOM
Author: Md. Saidur Rahman, Satoshi Fujita (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
Classification :
QA
،
76
.
9
،.
D35
,
W34
،
2010
604. WALCOM: algorithms and computation :
Author: Gautam K. Das, Partha S. Mandal, Krishnendu Mukhopadhyaya, Shin-ichi Nakano (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer algorithms.
Classification :
QA76
.
9
.
A43
605. WALCOM, algorithms and computation :
Author: Naoki Katoh, Amit Kumar (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses
Classification :
QA76
.
9
.
A43
W35
2011
606. Web Information Systems Engineering \U+2013\ WISE 2013
Author: edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Data mining.,Software engineering.
607. Web, artificial intelligence and network applications :
Author: editors, Leonard Barolli, Makoto Takizawa, Fatos Xhafa and Tomoya Enokido.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer networks, Congresses.,Information networks, Congresses.,Web databases, Congresses.,Artificial intelligence.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information networks.,Web databases.
Classification :
TK5105
.
5
608. Wireless Algorithms, Systems, and Applications :
Author: Edoardo S. Biagioni, Yao Zheng, Siyao Cheng (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wireless communication systems, Congresses.,Wireless communication systems.
Classification :
QA76
.
9
.
A43
609. Wireless algorithms, systems, and applications
Author: Xinbing Wang ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mobile computing, Congresses,Wireless communication systems-- Management, Congresses
Classification :
TK5103
.
2
.
W38
2012eb
610. Wireless algorithms, systems, and applications
Author: / Xinbing Wang ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Wireless communication systems--Management--Congresses,Mobile computing--Congresses
Classification :
TK5103
.
2
.
W38
2012
611. Wireless algorithms, systems, and applications
Author: Yu Cheng ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mobile computing, Congresses,Online social networks, Congresses,Ubiquitous computing, Congresses,Wireless communication systems, Congresses
Classification :
TK5103
.
2
612. Wireless algorithms, systems, and applications
Author: / Benyuan Liu ... [et al.] (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses
Classification :
E-BOOK
613. Wireless algorithms, systems, and applications
Author: Benyuan Liu ... [et al.]& (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses
Classification :
TK
،
5103
.
2
،.
W38
،
2009
614. Wireless algorithms, systems, and applicationsthird international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Wireless communication systems,Congresses ، Computer algorithms-- Design,Congresses ، Multiplexing,Congresses ، System design
Classification :
TK
5103
.
2
.
W38
2008
615. Writing for Computer Science
Author: by Justin Zobel.,Zobel, Justin,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science.,Popular Computer Science.,Computer Science, general.
616. 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing :
Author: editors Andrzej Goscinski, Michael Hobbs, Wanlei Zhou ; sponsors Dekin University, Faculty of Science and Technology Deakin University, IEEE Victorian Section.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers)
Classification :
QA76
.
58
.
I528
1997
617. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
618. شناسایی نواحی اگزون در توالی DNA با طراحی فیلترهای دیجیتال
Author: /منصوره دهنوی
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: اگزون,پنجره ی کیزر,توالی DNA,فیلتر دیجیتال,نواحی رمزگذار پروتئین,Exon, Kaiser window, DNA sequences, Digital filter, Protein coding region,اگزون، پنجره ی کیزر، توالی DNA، فیلتر دیجیتال، نواحی رمزگذار پروتئین
619. یک شبکه عصبی پیچشی برای طبقه بندی آریتمی بر اساس ECG
Author: سعید امینی باغبادرانی,امینی باغبادرانی،
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject:
